Les études régionales

Études in non-interactive zero-knowledge

N a ZERO-KNOWLEDGE PROOF [GMR85], Prover interactively convinces Verifier that theorem 7r is true in such a way that (a) a corrupt Prover cannot convince Verifier of a false theorem and (b) a corrupt Verifier cannot "learn" anything other than the fact that r is true. In a NON-INTERACTIVE ZERO-KNOWLEDGE PROOF [BFM88], the Prover must do the above by sending only a single message to Verifier! To...

Usage non classificatoire d'arbres de classification : enseignements d'une analyse de la participation féminine à l'emploi en Suisse

Résumé. Cet article présente une application en grandeur réelle des arbres de classification dans un contexte non classificatoire. Les arbres générés visent à mettre en lumière les différences régionales dans la façon dont les femmes décident de leur participation au marché du travail. L’accent est donc mis sur la capacité descriptive plutôt que prédictive des arbres. L’application porte sur de...

Les maladies causées par les anaérobies pathogènes sporulés chez les animaux domestiques

Les Rotations Et Les Quaternions

La construction du corps non commutatif H de quaternions est une variante plus compliquée de la construction du corps commutatif C de nombres complexes. Donc on commence en rappelant la construction de C à partir de R. Les nombres complexes s’écrivent a+ bi avec a, b ∈ R. Donc C est un espace vectoriel sur R de dimension 2 avec base {1, i}. La loi d’addition de C est celle que C possède en tant...

Découverte d'abstractions dans les modèles, les programmes ou les architectures

— MOTS-CLÉS : Découverte d’abstractions, Analyse Formelle de Concepts, Analyse Relationnelle de Concepts, ingénierie des modèles, diagrammes de classes, composants, architectures